bunched logic - mrsekut-p